\begin{tabbing}
$\forall$$g$:IAbMonoid, $a$, $b$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ \=($\forall$$E$, $F$:(\{$a$..$b$$^{-}$\}$\rightarrow\mid$$g$$\mid$).\+
\\[0ex]($\Pi$ $a$ $\leq$ $i$ $<$ $b$. $E$($i$) $\ast$ $F$($i$)) = (($\Pi$ $a$ $\leq$ $i$ $<$ $b$. $E$($i$)) $\ast$ ($\Pi$ $a$ $\leq$ $i$ $<$ $b$. $F$($i$))) $\in$ $\mid$$g$$\mid$)
\-
\end{tabbing}